Cambridge

Results: 17105



#Item
491

Honeywords: Making Password-Cracking Detectable Ari Juels RSA Labs Cambridge, MA 02142

Add to Reading List

Source URL: people.csail.mit.edu

- Date: 2013-05-06 15:04:27
    492

    Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,

    Add to Reading List

    Source URL: homes.cs.washington.edu

    - Date: 2017-06-23 18:20:16
      493

      Downloaded from https://www.cambridge.org/core. Access paid by the UC Davis Libraries, on 28 Sep 2017 at 17:47:03, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://do

      Add to Reading List

      Source URL: www.amber-boydstun.com

      - Date: 2017-09-28 17:19:35
        494

        Physics-Based Low-Order Model for Transonic Flutter Prediction Max M. J. Opgenoord∗, Mark Drela†, and Karen E. Willcox‡ Massachusetts Institute of Technology, Cambridge, MA, 02139 This paper presents a physical low

        Add to Reading List

        Source URL: kiwi.mit.edu

        - Date: 2017-11-19 15:30:01
          495

          A Verified Lisp Implementation for A Verified Theorem Prover Scheme workshop 2016, Nara, Japan Magnus O. Myreen — University of Cambridge, but now at Chalmers University of Technology Jared Davis — Centaur Technology

          Add to Reading List

          Source URL: scheme2016.snow-fort.org

          - Date: 2016-10-11 08:27:06
            496

            Programming Satan’s Computer Ross Anderson and Roger Needham Cambridge University Computer Laboratory Pembroke Street, Cambridge, England CB2 3QG Abstract. Cryptographic protocols are used in distributed systems to

            Add to Reading List

            Source URL: www.cl.cam.ac.uk

            - Date: 2006-07-26 10:17:27
              497

              UNIVERSITY OF CAMBRIDGE Cambridge Working Papers in Economics

              Add to Reading List

              Source URL: www.econ.cam.ac.uk

              - Date: 2017-07-24 04:46:41
                498

                Feature Correspondence via Graph Matching: Models and Global Optimization Lorenzo Torresani1, Vladimir Kolmogorov2, and Carsten Rother1 1 Microsoft Research Ltd., Cambridge, UK, {ltorre, carrot}@microsoft.com

                Add to Reading List

                Source URL: www.cs.dartmouth.edu

                - Date: 2008-07-28 18:13:30
                  499

                  B.J.Pol.S. 37, Copyright © 2007 Cambridge University Press doi:S0000000000000000 Printed in the United Kingdom Committed To Peace: Liberal Institutions and the Termination of Rivalry BRANDON C. PRINS

                  Add to Reading List

                  Source URL: brandonprins.weebly.com

                  - Date: 2013-08-14 18:49:01
                    500

                    c Cambridge University Press 2011 JFP 21 (4 & 5): 467–496, 2011.  467 doi:S0956796811000153 First published online 29 June 2011

                    Add to Reading List

                    Source URL: www.thev.net

                    - Date: 2012-04-02 13:21:01
                      UPDATE